-
1 deduzione risultante
Dictionnaire polytechnique italo-russe > deduzione risultante
См. также в других словарях:
ЭЛИМИНАЦИОННАЯ ТЕОРЕМА — ЭЛИМИНАЦИОННАЯ ТЕОРЕМА фундаментальная теорема доказательств теории. Термин “элиминационная теорема” введен X. Карри в качестве альтернативного названия теоремы об устранении сечения, которая впервые была сформулирована и доказана Г. Генценом … Философская энциклопедия
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — ДОКАЗАТЕЛЬСТВ ТЕОРИЯ раздел современной математической логики, изучающий свойства и преобразования формальных доказательств, т. е. формальных объектов, синтаксическая правильность которых гарантирует семантическую. Это определение унифицирует … Философская энциклопедия
МАГНЕТИЗМ МИКРОЧАСТИЦ — магн. свойства молекул, атомов, атомных ядер и субъядерных частиц (т. н. элементарных частиц). Магн. свойства элементарных частиц обусловлены наличием у них спина, а более сложных систем (ядер, атомов, молекул) особенностями их строения и вкладом … Физическая энциклопедия
Windows PowerShell — Windows PowerShell … Википедия
C++ — У этого термина существуют и другие значения, см. C. См. также: Си (язык программирования) C++ Семантика: мультипарадигмальный: объектно ориентированное, обобщённое, процедурное, метапрограммирование Тип исполнения: компилируемый Появился в … Википедия
GCC Inline Assembly — GCC Inline Assembly Встроенный ассемблер компилятора GCC, представляющий собой язык макроописания интерфейса компилируемого высокоуровнего кода с ассемблерной вставкой. Содержание 1 Особенности 2 Предварительные сведения … Википедия
Формула поворота Родрига — формула, связывающая два вектора с общим началом, один из которых получен поворотом другого на известный угол вокруг оси, проходящей через их общее начало: где исходный вектор, результирующий вектор, единичный вектор оси поворо … Википедия
С++ — См. также: Си (язык программирования) C++ Семантика: мультипарадигмальный: объектно ориентированное, обобщённое, процедурное, метапрограммирование Тип исполнения: компилируемый Появился в: 1985 г. Автор(ы): Бьёрн Страуструп … Википедия
Ускорители заряженных частиц — устройства для получения заряженных частиц (электронов, протонов, атомных ядер, ионов) больших энергий. Ускорение производится с помощью электрического поля, способного изменять энергию частиц, обладающих электрическим зарядом. Магнитное… … Большая советская энциклопедия
ХИРОПТИЧЕСКИЕ МЕТОДЫ — объединяют родственные оптич. методы исследования оптически активных (хиральных) соед.: поляриметрию (ПМ), дисперсию оптич. вращения (ДОВ) и круговой дихроизм (КД). X. м. основаны на взаимод. поляризованного света с хиральными структурами, к рые… … Химическая энциклопедия
Вавилов Сергей Иванович — (1891 1951), физик, основатель отечественной научной школы физической оптики, академик (1932) и президент (с 1945) АН СССР. Брат Н. И. Вавилова. Фундаментальные труды по физической оптике, главным образом по люминесценции и её практическому… … Энциклопедический словарь